$g$$\downarrow$oset $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$g$$\downarrow$set